fully functional dependent

全函数相关